Controlling Races in Asynchronous Sequential Machines
نویسندگان
چکیده
State feedback controllers can be used to restore predictable behavior of asynchronous sequential machines that are afflicted by a critical race. The present note presents necessary and sufficient conditions for the existence of such controllers. The controllers also assign a specified behavior to the controlled machine. Copyright ©IFAC 2002
منابع مشابه
Definite Asynchronous Sequential Circuits
An asynchronous unit delay is an n input n output of the input n-tuple prior to the last inlput change. It asynchronous sequential circuit in which the present value of the will then be shown that every asynchronous definite flow output n-tuple is equal to the value of the input n-tuple prior to the last input change. This paper considers the problem of determining ablecan brizeday a fee bac r ...
متن کاملFault Tolerance for Input Faults in a Class of Asynchronous Sequential Machines
In this paper, we address the problem of tolerating the adverse effects of input faults on the operation of a class of asynchronous sequential machines. Occurring to either the external input or the control input generated by the controller, input faults can cause unauthorized changes of the input value. In the framework of corrective control, we present the necessary and sufficient condition f...
متن کاملConditions for Model Matching of Switched Asynchronous Sequential Machines with Output Feedback
Solvability of the model matching problem for input/output switched asynchronous sequential machines is discussed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model. Switching operations and correction procedures are incorpora...
متن کاملVisualizing Data Races in Concurrent Signal Handlers
Asynchronous signal handling introduces fine-grained concurrency into sequential programs making them prone to data races. Unfortunately, existing tools for detecting data races in sequential programs that use concurrent signal handlers fail to provide effective means for understanding the dynamic behavior of concurrent signal handlers involved in data races. Thus, this paper presents a visuali...
متن کاملAsynchronous Sequential Machines with Fault Detectors
A strategy of fault diagnosis and tolerance for asynchronous sequential machines is discussed in this paper. With no synchronizing clock, it is difficult to diagnose an occurrence of permanent or stuck-in faults in the operation of asynchronous machines. In this paper, we present a fault detector comprised of a timer and a set of static functions to determine the occurrence of faults. In order ...
متن کامل